$\forall$$p$:finite{-}prob{-}space, $a$,$b$:atom\{2:n\}. random\{2:n\}($p$; $a$; $b$) $\in$ $\mathbb{N}\rightarrow$p{-}outcome($p$)